Na uvod zkousky byl dnesk opet testik - vice mene overuje, zda jste ty slajdy alespon jednou precetli, nektere otazky jsou ponekud divne, ale da se vydedukovat, co ho zajima. Priklad: "Mame dve A* heuristiky, muzeme rict, ze jedna je lepsi nez druha? (i) Nemuzeme (ii) Experimentem, (iii) kdyz f > g \forall x, (iv) kdyz f < g \forall x", "Umely agent s neuronovou siti je typ: (i) Mysli jako clovek (ii) Chova se jako clovek (iii) Mysli racionalne (iv) Chova se racionalne" (to je priklad te divne ;-) ), "Ktery druh odvozovani vychazi z faktu: (i) Dopredne (ii) Zpetne (iii) Resolucni (iv) Vsechny(?)".
Testik bezeslova prosel, ocarkoval a strcil do ruky papir se zadanim, pri iteracich uz byl ale pratelsky, toleroval, ze jsem neco trochu pomichal a i kdyz videl, ze jsem tam napsal navic zbytecnosti, ktere navic byly spatne, nevrtal do nich. ;-)
Vetsinou se zdalo, ze zadani je vyresit nejaky problem nejakym druhem algoritmu, treba staveni vezi z kosticek pres A*, prevoznik nejakym druhem neinformovaneho hledani, hrat nejakou hru, apod. Ja jsem mel za ukol formulovat problem ctyr kraloven jako CSP a vysvetlit na tom algoritmus CSP plus ruzna zrychleni (lookahead, forward-checking, hranova konzistence). Pak se mne jeste zeptal na presnou definici hranove konzistence, nechal mne formalne napsat algoritmus ARC3 a namalovat, jak bude CSP s forward checkingem prochazet ty sachovnice. Nabidl dvojku hned nebo jednicku za neco vic, protoze jsem u kraloven vyrobil stavovy prostor 16^4 misto 4^4 (mel jsem kralovny jako dve souradnice, misto hardcoded jednu kralovnu na sloupecek, takhle blbe mu to pry studenti delaji casto) a pak jsem popletl forwardchecking a lookahead (myslel jsem, ze forwardchecking je to, co je ve skutecnosti lookahead - ve skutecnosti je to vpodstate 1-level lookahead zatimco lookahead transitivne zupdatuje cely graf).